Formal Verification – alle Bücher

Ihre Suche nach "Formal Verification" (Bücher) ergab 10 Treffer.

Caroline Dominik
Embedding Sequential Circuits for their Polynomial Formal Verification

BestMasters

As digital circuits are at the core of most of our everyday technologies, society heavily relies on their precise and predictable behavior. However, this demand for correctness often clashes with the spee…

lieferbar ab 9.1.2026.

Buch

Lucas Klemmer, Daniel Große
Versatile Hardware Analysis Techniques

This book describes several versatile hardware analysis techniques that tackle existing and new challenges. These techniques cover different phases of the hardware development process, including the verif…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods: Foundations and Applications

This book constitutes the refereed proceedings of the 27th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2024, held in Vitória, Brazil, during December 4¿6, 2024.The 8 full pap…

lieferbar innerhalb 2-3 Wochen

Buch

Formal Methods: Foundations and Applications

Lecture Notes in Computer Science - Band 16363

This book constitutes the refereed proceedings of the 28th Brazilian Symposium on Formal Methods: Foundations and Applications, SBMF 2025, held in Recife, Brazil, during December 3--5, 2025.The 12 full pa…

lieferbar ab 6.1.2026.

Buch

Runtime Verification

.- Algorithmic Fairness: A Runtime Perspective. .- DSLs for Runtime Verification: A Tutorial. .- Execution and monitoring of HOA automata with HOAX. .- Formal Verification of Neural Certificates Done Dyna…

lieferbar innerhalb 2-3 Wochen

Buch

Theoretical Aspects of Software Engineering

.- Program Verification..- Safeguarding Neural Network-Controlled Systems via Formal Methods: From Safety-by-Design to Runtime Assurance (Invited Talk) ..- Testing-Based Formal Verification with Program S…

lieferbar innerhalb 2-3 Wochen

Buch

Stéphane Demri
Concise Introduction to Alternating-Time Temporal Logics

Computer Science Foundations and Applied Logic

The formal verification of multi-agent systems aimed at proving that such systems meet their specifications has given rise to a very active field of research at the crossroads of formal methods, knowledge…

lieferbar ab 23.1.2026.

Buch

Artificial Intelligence and Data Analytics for Innovative Applications in Engineering, Sustainability and Technology

This book explores the forefront of Artificial Intelligence (AI), data analytics, and sustainable engineering, presenting in-depth research and practical applications across various domains. It is designe…

lieferbar innerhalb 2-3 Wochen

Buch

Model Checking Software

Lecture Notes in Computer Science - Band 15945

This book constitutes the refereed proceedings of the 31st International Symposium on Model Checking Software, SPIN 2025, held in Hamilton, Canada, during May 7--8, 2025.The 9 full papers included in this…

lieferbar in mind. 4 Wochen

Buch

Rebeca for Actor Analysis in Action

This Festschrift volume, dedicated to Marjan Sirjani on the occasion of her 60th birthday, includes refereed papers by leading researchers.Marjan Sirjani received her PhD in Computer Engineering from Shar…

lieferbar innerhalb 2-3 Wochen

Buch

Informationen zur Lieferbarkeit bzw. zu Veröffentlichungsterminen von Artikeln beruhen auf Vorabinformationen unserer Lieferanten. Diese Termine sind ohne Gewähr und können sich jederzeit ändern.